Electronic design automation

Results: 1598



#Item
491Scientific modeling / Electronic design automation / Logic design / Simulation / Simulation language / Network simulation / Wireless sensor network / Scientific modelling / Logic simulation / Electronic engineering / Computing / Electronics

JiST – Java in Simulation Time for the Scalable Simulation of Mobile Ad hoc Networks Rimon Barr

Add to Reading List

Source URL: jist.ece.cornell.edu

Language: English - Date: 2013-12-04 22:11:12
492Hardware description languages / Logic design / Electronic design / Complex programmable logic device / Cadence Design Systems / Field-programmable gate array / Altera / Verilog / Logic simulation / Electronic engineering / Digital electronics / Electronic design automation

Experience in Designing a Large-scale Multiprocessor using Field-Programmable Devices and Advanced CAD Tools S. Brown, N. Manjikian, Z. Vranesic, S. Caranci, A. Grbic, R. Grindley, M. Gusat, K. Loveless, Z. Zilic, and S.

Add to Reading List

Source URL: www.eecg.toronto.edu

Language: English - Date: 1999-09-21 22:20:51
493Operations research / Simulation / SPICE / Synopsys / Reliability engineering / Power network design / SystemC / Electronic engineering / Electronic design automation / Software

Datasheet Vehicle Powernet Design Synopsys’ Saber® provides a complete design and verification solution for vehicle power networks

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2015-01-28 08:15:39
494Automation / Electric motors / Electronic design / Transformer / Capacitor / Inverter / Impedance matching / Electrical impedance / RS-485 / Electrical engineering / Electromagnetism / Technology

Data sheet Powador 3200 | 4200 | [removed] | 5500 | 6600 Less is More: No Transformer, lots of Power.

Add to Reading List

Source URL: www.selectronic.com.au

Language: English - Date: 2013-07-02 22:03:55
495Hardware description languages / E / SystemVerilog / Functional verification / Formal verification / Verilog / SystemC / Integrated circuit design / Verification and validation / Electronic engineering / Electronic design automation / Hardware verification languages

Microsoft PowerPoint - MAPLD06DesignVerificationTutorial_v5.ppt

Add to Reading List

Source URL: www.klabs.org

Language: English - Date: 2009-01-16 16:45:26
496Model theory / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Satisfiability Modulo Theories / Structure / Well-formed formula / Boolean satisfiability problem / Mathematics / Theoretical computer science / Logic

SMT Solvers Theory & Practice Leonardo de Moura [removed] Microsoft Research

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2006-11-12 03:14:38
497Synopsys / Digital electronics / Software development process / High-level synthesis / Logic synthesis / Ricoh / Electronic engineering / Electronic design automation / Hillsboro /  Oregon

Success Story Synopsys and Ricoh Ricoh Delivers Software 5 Months in Advance for New Multi-Function Printer with Synopsys Virtualizer

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2014-12-30 08:15:46
498Scientific modeling / Electronic design automation / Simulation / Operations research / Logic simulation / Scientific modelling / Network simulation / Discrete event simulation / Simula / Electronic engineering / Computing / Digital electronics

JiST: EMBEDDING SIMULATION TIME INTO A VIRTUAL MACHINE Rimon Barr, Zygmunt J. Haas, Robbert van Renesse Computer Science and Electrical Engineering, Cornell University, Ithaca NY 14853

Add to Reading List

Source URL: jist.ece.cornell.edu

Language: English - Date: 2013-12-04 22:11:13
499Simulation software / Electronic design automation / Scientific modeling / Simulation / Operations research / Logic simulation / Simula / Discrete event simulation / Scientific modelling / Electronic engineering / Computing / Digital electronics

JiST – Java in Simulation Time An efficient, unifying approach to simulation using virtual machines Rimon Barr, Zygmunt Haas, Robbert van Renesse [removed]

Add to Reading List

Source URL: jist.ece.cornell.edu

Language: English - Date: 2013-12-04 22:11:14
500Comma-separated values / Accelerated Graphics Port / Electronic engineering / Computer hardware / Computing / Electronic design automation / Ladder logic

Advanced GEM80 Programmer – Version 3.5 Product Overview Copyright © 2006 Advanced Technical Software Limited Advanced GEM80 Programmer

Add to Reading List

Source URL: www.advancedtechnicalsoftware.co.uk

Language: English - Date: 2006-10-31 05:46:03
UPDATE